modus tollendo ponens

拒取式